Enhancements to Invariant Verification using SIVA
نویسندگان
چکیده
منابع مشابه
The "SIVA" speech database for speaker verification: description and evaluation
The description and characterization of the Italian speech database SIVA is given. After a brief review of the available corpora designed for speaker verification task, we introduce the “Speaker Identification and Verification Archives: SIVA”, a database that consists actually of more than two thousands calls, collected over the public switched telephone network. A detailed description of speec...
متن کاملFace Detection with methods based on color by using Artificial Neural Network
The face Detection methodsis used in order to provide security. The mentioned methods problems are that it cannot be categorized because of the great differences and varieties in the face of individuals. In this paper, face Detection methods has been presented for overcoming upon these problems based on skin color datum. The researcher gathered a face database of 30 individuals consisting of ov...
متن کاملReasoning about Object Structures Using Ownership
Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler requires enhancements of programming theory to cope with this deficiency. In this paper, we support this position by showing that classical specification and verification techniques support invariants for individual objects whos...
متن کاملEnhancements of rack counting invariants via dynamical cocycles
We introduce the notion of N-reduced dynamical cocycles and use these objects to define enhancements of the rack counting invariant for classical and virtual knots and links. We provide examples to show that the new invariants are not determined by the rack counting invariant, the Jones polynomial or the generalized Alexander polynomial.
متن کامل